Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое live variables - определение
TYPE OF VARIABLE STAR
Irregular variables
free variable
CLASSIFICATION OF VARIABLES IN A LOGIC FORMULA BASED ON WHETHER OR NOT THEY ARE INSIDE THE SCOPE OF A QUANTIFIER
Free variable; Bound variable; Variable binding operation; Variable-binding operation; Free variables; Bound variables; Unbound variable; Unbound variables; Variable-binding operator; Variable binding operator; Free and bound variables; Bound variable clash; Free and bound variable; Placeholder (computer programming); Free variables & bound variables; Free occurrence; Placeholder variable; Apparent variable
1. A variable referred to in a function, which is not an
argument of the function. In lambda-calculus, x is a {bound
variable} in the term M = x . T, and a free variable of T.
We say x is bound in M and free in T. If T contains a subterm
x . U then x is rebound in this term. This nested, inner
binding of x is said to "shadow" the outer binding.
Occurrences of x in U are free occurrences of the new x.
Variables bound at the top level of a program are technically
free variables within the terms to which they are bound but
are often treated specially because they can be compiled as
fixed addresses. Similarly, an identifier bound to a
recursive function is also technically a free variable within
its own body but is treated specially.
A closed term is one containing no free variables.
See also closure, lambda lifting, scope.
2. In logic, a variable which is not quantified (see
quantifier).
live
WIKIMEDIA DISAMBIGUATION PAGE
Live!; LIVE; Live (disambiguation); LIVE!; Lived; Live EP; Live! (disambiguation); Live (video); LIVE (disambiguation); Live (film); Live (song); Live (DVD); Live (TV series)
I
/layv/ adv.
directly
to come live (this telecast is coming to you live from Wimbledon)
II
/liv/ v.
1) to live dangerously; high
2) (d; intr.) to live by ('to adhere to') (to live by certain principles)
3) (d; intr.) ('to exist') to live for (they live only for their children)
4) (d; intr.) ('to subsist') to live off, on (they live on her salary; you cannot live on love alone; to live off one's parents)
5) (D; intr.) ('to survive') to live to (she lived to ninety)
6) (d; intr.) ('to cohabit') to live with (they live with each other) 7 (colloq.) (d; intr.) to live with ('to tolerate') (can you live with this arrangement?)
8) (E) she lived to regret her decision; he lived to be ninety
9) (P; intr.) ('to reside') to live in the country
10) (misc.) they live beyond their means ('they spend more than they earn'); to live from hand to mouth ('to eke out a bare living'); to live from day to day ('to be concerned only with the present'); to live together ('to cohabit')
LIVE
WIKIMEDIA DISAMBIGUATION PAGE
Live!; LIVE; Live (disambiguation); LIVE!; Lived; Live EP; Live! (disambiguation); Live (video); LIVE (disambiguation); Live (film); Live (song); Live (DVD); Live (TV series)
LInux VErband (Reference: Linux, org.)
Википедия
Irregular variable
An irregular variable is a type of variable star in which variations in brightness show no regular periodicity. There are two main sub-types of irregular variable: eruptive and pulsating.
Eruptive irregular variables are divided into three categories:
- Group I variables are split into subgroups IA (spectral types O to A) and IB (spectral types F through M).
- Orion variables, GCVS type IN (irregular and nebulous), indigenous to star-forming regions, may vary by several magnitudes with rapid changes of up to 1 magnitude in 1 to 10 days, are similarly divided by spectral type into subgroups INA and INB, but with the addition of another subgroup, INT, for T Tauri stars, or INT(YY) for YY Orionis stars.
- The third category of eruptive irregulars are the IS stars, which show rapid variations of 0.5 to 1 magnitude in a few hours or days; again, these come in subgroups ISA and ISB.
Pulsating irregular giants or supergiants, called slow irregular variables, are all of late spectral types (K, M, C, or S), and classed as type L-LB for giants and LC for supergiants. How many of these are actually semi-regular variables that simply need more study, remains unclear.
